grabHelper: Remove unused parameters

Some left-overs from commit b203a95a7 ...

https://bugzilla.gnome.org/show_bug.cgi?id=683546

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 6af5480a876c3ac02d55efea8be1ae3402547c1e..6c7511fdf1931b80a221649feda197d2a71b5bc9 100644 (file)
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -160,7 +160,7 @@ const GrabHelper = new Lang.Class({
         this._grabStack.push(params);
 
         if (params.modal)
-            this._takeModalGrab(hadFocus);
+            this._takeModalGrab();
 
         if (params.grabFocus)
             this._takeFocusGrab(hadFocus);
@@ -171,7 +171,7 @@ const GrabHelper = new Lang.Class({
         return true;
     },
 
-    _takeModalGrab: function(hadFocus) {
+    _takeModalGrab: function() {
         let firstGrab = (this._modalCount == 0);
         this._modalCount++;
         if (!firstGrab)